Combinatory logic - PDFSEARCH.IO - Document Search Engine

Combinatory logic
Results: 540

#	Item
521	PDF Document Add to Reading List Source URL: www.cs.kent.ac.uk Language: English - Date: 2012-11-02 09:24:49 Theoretical computer science Logic in computer science Lambda calculus Proof theory Dependently typed programming Curry–Howard correspondence Intuitionistic type theory Combinatory logic Natural deduction Mathematics Mathematical logic Type theory
522	PDF Document Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2006-07-10 08:56:03 Metalogic Term algebra Interpretation FO First-order logic Kripke semantics Combinatory logic Logic Mathematical logic Model theory
523	PDF Document Add to Reading List Source URL: purelang.bitbucket.org - Date: 2013-08-21 18:14:24 Functional languages Functional programming Subroutines Lambda calculus Logic in computer science Pure Function Pattern matching Combinatory logic Software engineering Computing Computer programming
524	PDF Document Add to Reading List Source URL: tuvalu.santafe.edu Language: English - Date: 2012-09-09 11:45:21 Exponential distribution Exponentials Cumulative distribution function Probability distribution Probability density function Lambda calculus Combinatory logic Pareto distribution Probability theory Statistics Mathematical analysis
525	PDF Document Add to Reading List Source URL: fs.gallup.unm.edu Language: English - Date: 2011-07-13 10:13:16 Operations research Convex analysis Convex optimization Fractional programming Duality Combinatory logic Linear programming Vector space Convex function Mathematical optimization Mathematics Algebra
526	PDF Document Add to Reading List Source URL: drops.dagstuhl.de Language: English - Date: 2013-06-14 02:46:25 Lambda calculus Combinatory logic Logic in computer science Unification Free variables and bound variables Sturm–Liouville theory Mathematics Theoretical computer science Mathematical logic
527	PDF Document Add to Reading List Source URL: lamp.epfl.ch Language: English Lambda calculus Programming paradigms Physical quantities Reactive programming Combinatory logic Functional reactive programming Dataflow Signal Event Software engineering Computing Evaluation strategy
528	PDF Document Add to Reading List Source URL: people.uleth.ca Language: English - Date: 2003-02-26 23:28:44 Lambda calculus Logic in computer science Proof theory Combinatory logic Type theory Curry–Howard correspondence Free variables and bound variables Function Natural deduction Mathematics Theoretical computer science Mathematical logic
529	PDF Document Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2009-07-21 10:55:57 Mathematical logic Computability theory Simply typed lambda calculus Combinatory logic Unification Free variables and bound variables Variable Mathematics Theoretical computer science Lambda calculus
530	PDF Document Add to Reading List Source URL: dspace.mit.edu Language: English - Date: 2008-09-19 03:02:25 Logic in computer science Concurrency Concurrent computing Axiom Combinatory logic Parallel computing Everything2 Denotational semantics of the Actor model Actor model theory Theoretical computer science Actor model Computing

UPDATE